Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
191	An Implementation of Transparent Migration on Standard Scheme Eijiro Sumii University of Tokyo Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Lambda calculus Continuations Functional programming Control flow Data types Delimited continuation Call-with-current-continuation Continuation Fixed-point combinator Software engineering Computing Computer programming
192	Growing Patterns in One Dimensional Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:35:02 Holomorphic functional calculus Operator theory Mathematical analysis Laplace transform
193	The theorem of F. and M. Riesz Jordan Bell Department of Mathematics, University of Toronto July 1, 2014 Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-07-01 12:08:14 Mathematical analysis Hilbert space Linear algebra Sheaf Spectral theory Approximately finite dimensional C*-algebra Holomorphic functional calculus Algebra Mathematics Operator theory
194	Journal of Computer and System Sciences–737 Contents lists available at ScienceDirect Journal of Computer and System Sciences www.elsevier.com/locate/jcss Add to Reading List Source URL: math.mit.edu Language: English - Date: 2011-03-23 10:26:18 Applied mathematics Natural proof Pseudorandom generator Entailment Time complexity Circuit complexity Arithmetic function Holomorphic functional calculus Theoretical computer science Computational complexity theory Logic
195	Punctuated Equilibria in Genetic Search Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:31:27 Calculus Chemistry Holomorphic functional calculus International Obfuscated C Code Contest Physics Rigid body dynamics Rotational symmetry
196	INTRODUCTION TO REAL ANALYSIS William F. Trench Professor Emeritus Trinity University Add to Reading List Source URL: www.math.ist.utl.pt Language: English - Date: 2010-09-15 21:32:45 Functions and mappings Differential calculus Integral calculus Functional analysis Integral Lebesgue integration Differential equation Improper integral Real analysis Mathematical analysis Mathematics Calculus
197	An Approach to Completing Variable Names for Implicitly Typed Functional Languages Takumi Goto Isao Sasano Add to Reading List Source URL: www.sic.shibaura-it.ac.jp Language: English - Date: 2012-02-22 04:44:30 Software engineering Type inference Unification Function Type system Hindley–Milner Free variables and bound variables Standard ML Lambda calculus Mathematics Type theory Mathematical logic
198	Type Classes Without Types ∗ Ronald Garcia Andrew Lumsdaine Open Systems Lab Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Lambda calculus Functional programming Type theory Data types Formal methods Monad Fixed-point combinator Map Type class Software engineering Computing Computer programming
199	Abstraction and Performance from Explicit Monadic Reflection Jonathan Sobel Erik Hilsdale SAS Institute Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Adjoint functors Functional programming Lambda calculus Monad Logic in computer science Arrow Closure List Scheme Software engineering Computer programming Computing
200	Access control for mobile agents: the calculus of Boxed Ambients MICHELE BUGLIESI Universita` ‘Ca’ Foscari’, Venezia, Italy and GIUSEPPE CASTAGNA Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:01:59 Applied mathematics Computer science Computing Formal methods Functional languages Π-calculus Lambda calculus Q Access control Process calculi Theoretical computer science Ambient calculus

UPDATE